'a -> ('b -> 'c)
